Понятия со словосочетанием «упорядоченное множество»

Вполне упорядоченное множество — линейно упорядоченное множество M такое, что в любом его непустом подмножестве есть минимальный элемент, другими словами, это фундированное множество с линейным порядком.

Градуированное частично упорядоченное множество (ЧУМ) — это частично упорядоченное множество P, снабжённое функцией ранга ρ из P в N, удовлетворяющей следующим двум свойствам...

Связанные понятия

Связное пространство — непустое топологическое пространство, которое невозможно разбить на два непустых непересекающихся открытых подмножества.

Полунорма или преднорма — обобщение понятия норма; в отличие от последней, полунорма может равняться нулю на ненулевых элементах пространства.

Теорема Витта — теорема о свойствах конечномерных ортогональных пространств над полями произвольного вида. Она утверждает, что любая изометрия между двумя подпространствами конечномерного ортогонального векторного пространства может быть продолжена на все пространство.

Характеристический многочлен матрицы — многочлен, определяющий её собственные значения.

Норма́льное простра́нство — топологическое пространство, удовлетворяющее аксиомам отделимости T1, T4, то есть такое топологическое пространство, в котором одноточечные множества замкнуты и любые два непересекающихся замкнутых множества отделимы окрестностями (то есть содержатся в непересекающихся открытых множествах).

В математике, симметрической алгеброй S(V) (также обозначается Sym(V)) векторного пространства V над полем K называется свободная коммутативная ассоциативная K-алгебра с единицей, содержащая V.

Подробнее: Симметрическая алгебра

Гомеоморфи́зм (греч. ὅμοιος — похожий, μορφή — форма) — взаимно однозначное и взаимно непрерывное отображение топологических пространств. Иными словами, это биекция, связывающая топологические структуры двух пространств, поскольку, при непрерывности биекции, образы и прообразы открытых подмножеств являются открытыми множествами, определяющими топологии соответствующих пространств.

Локально выпуклое пространство — линейное топологическое пространство с системой полунорм, удовлетворяющей некоторым условиям.

Вложение Куратовского — определённое изометрическое вложение метрического пространства в банахово пространство непрерывных ограниченных функций на нём.

Топологическое векторное пространство, или топологическое линейное пространство, — векторное пространство, наделённое топологией, относительно которой операции сложения и умножения на число непрерывны.

Изометрия — биекция между метрическими пространствами, сохраняющая расстояния между точками.

Теорема об обратной функции даёт достаточные условия для существования обратной функции в окрестности точки через производные от самой функции.

Теорема об инвариантности области утверждает, что образ непрерывного инъективного отображения Евклидова пространства в себя открыт.

В математике, норма́льная фо́рма — простейший либо канонический вид, к которому объект приводится эквивалентными преобразованиями.

Выпуклый многогранник — частный случай многогранника, пересечение конечного числа замкнутых полупространств.

Изоли́рованная то́чка в общей топологии — это такая точка множества, что пересечение некоторой её окрестности с множеством состоит только из этой точки.

Метрика Хаусдорфа есть естественная метрика, определённая на множестве всех непустых компактных подмножеств метрического пространства. Таким образом, метрика Хаусдорфа превращает множество всех непустых компактных подмножеств метрического пространства в метрическое пространство.

Теоре́ма Лебе́га о мажори́руемой сходи́мости в функциональном анализе, теории вероятностей и смежных дисциплинах — это теорема, утверждающая, что если сходящаяся почти всюду последовательность измеримых функций может быть ограничена по модулю сверху интегрируемой функцией, то все члены последовательности, а также предельная функция тоже интегрируемы. Более того, интеграл последовательности сходится к интегралу её предела.

Коалгебра — математическая структура, которая двойственна (в смысле обращения стрелок) к ассоциативной алгебре с единицей. Аксиомы унитарной ассоциативной алгебры могут быть сформулированы в терминах коммутативных диаграмм. Аксиомы коалгебры получаются путём обращения стрелок. Каждая коалгебра c дуальностью (векторного пространства) порождает алгебру, но не наоборот. В конечномерном случае дуальность есть в обоих направлениях. Коалгебры встречаются в разных случаях (например, в универсальных обёртывающих...

В алгебраической геометрии дивизоры являются обобщением подмногообразий некоторого алгебраического многообразия коразмерности 1. Существуют два различных таких обобщения — дивизоры Вейля и дивизоры Картье (названы в честь Андре Вейля и Пьера Картье), эти понятия эквивалентны в случае многообразий (или схем) без особенностей.

Подробнее: Дивизор (алгебраическая геометрия)

Направленное множество в математике — непустое множество A с заданным на нем рефлексивным транзитивным отношением ≤ (то есть предпорядком), обладающее дополнительным свойством: у любой пары элементов из A есть верхняя грань в A.

Теорема Дилуорса в комбинаторике — утверждение, характеризующее экстремальное свойство для частично упорядоченных множеств.

Теорема Стоуна о представлении булевых алгебр утверждает, что каждая булева алгебра изоморфна некоторому полю множеств.

Функция Гильберта, ряд Гильберта и многочлен Гильберта градуированной коммутативной алгебры, конечно порождённой над полем — это три тесно связанных понятия, которые позволяют измерить рост размерности однородных компонент алгебры.

Подмногообразие ― термин, используемый для нескольких схожих понятий в общей топологии, дифференциальной геометрии и алгебраической геометрии.

Слабая сходимость в функциональном анализе — вид сходимости в топологических векторных пространствах.

В математике (общей алгебре) многочлен от нескольких переменных над полем называется гармоническим, если лапласиан этого многочлена равен нулю.

Подробнее: Гармонический многочлен

Двойственное пространство (иногда сопряжённое пространство) — пространство линейных функционалов на заданном векторном пространстве.

Важнейшими с точки зрения приложений характеристических функций к выводу асимптотических формул теории вероятностей являются две предельные теоремы — прямая и обратная. Эти теоремы устанавливают, что соответствие, существующее между функциями распределения и характеристическими функциями, не только взаимно однозначно, но и непрерывно.

Подробнее: Прямая и обратная предельная теорема

Биекция — это отображение, которое является одновременно и сюръективным, и инъективным. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют ещё взаимно однозначным отображением (соответствием), одно-однозначным отображением.

Локально тривиальное расслоение — расслоение, которое локально выглядит как прямое произведение.

Корасслоение — определённый тип непрерывных отображений между топологическими пространствами с определяющим свойством, двойственным к свойству поднятия гомотопий, выполняющихся для расслоений.

Теорема Мура о факторпространстве — классическое утверждение двумерной топологии, даёт достаточное условие на то, что факторпространство сферы гомеоморфно двумерной сфере.

Со́бственный ве́ктор — понятие в линейной алгебре, определяемое для произвольного линейного оператора как ненулевой вектор, применение к которому оператора даёт коллинеарный вектор — тот же вектор, умноженный на некоторое скалярное значение. Скаляр, на который умножается собственный вектор под действием оператора, называется собственным числом (или собственным значением) линейного оператора, соответствующим данному собственному вектору. Одним из представлений линейного оператора является квадратная...

А́лгебра Ли — объект общей алгебры. Естественно появляется при изучении инфинитезимальных свойств групп Ли.

Теорема Коши о многогранниках утверждает, что грани многогранника вместе с правилом склейки полностью определяют выпуклый многогранник.

В теории категорий моноидальные функторы — это функторы между моноидальными категориями, сохраняюющие моноидальную структуру, то есть умножение и тождественный элемент.

Подробнее: Моноидальный функтор

Интеграл Лебе́га — это обобщение интеграла Римана на более широкий класс функций.

Гиперко́мпле́ксные числа — различные расширения вещественных чисел, такие как комплексные числа, кватернионы и пр.

Подробнее: Гиперкомплексное число

Теорема Хольмгрена — теорема о единственности решения задачи Коши для дифференциального уравнения с частными производными в случае аналитичности коэффициентов дифференциального оператора.

В теории категорий есте́ственное преобразова́ние предоставляет способ перевести один функтор в другой, сохраняя внутреннюю структуру (например, композиции морфизмов). Поэтому естественное преобразование можно понимать как «морфизм функторов». Эта интуиция может быть строго формализована в определении категории функторов. Естественные преобразования — наиболее базовое определение в теории категорий наряду с функторами, поэтому оно появляется в большинстве её приложений.

Подробнее: Естественное преобразование

Хаусдорфово пространство — топологическое пространство, удовлетворяющее сильной аксиоме отделимости T2.

Индуци́рованная тополόгия — естественный способ задания топологии на подмножестве топологического пространства.

Бесконечномерное пространство — векторное пространство c бесконечно большой размерностью.

Теоремы об изоморфизме в алгебре — ряд теорем, связывающих понятия фактора, гомоморфизма и вложенного объекта. Утверждением теорем является изоморфизм некоторой пары групп, колец, модулей, линейных пространств, алгебр Ли или прочих алгебраических структур (в зависимости от области применения). Обычно насчитывают три теоремы об изоморфизме, называемые Первой (также основная теорема о гомоморфизме), Второй и Третьей. Хотя подобные теоремы достаточно легко следуют из определения фактора и честь их открытия...